- стратегия выдвижения аксиом
- axiomatization policy
Русско-английский словарь по вычислительной технике и программированию . 2013.
стратегия выдвижения аксиом
Look at other dictionaries:
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
